3 ideas
15716 | If axioms and their implications have no contradictions, they pass my criterion of truth and existence [Hilbert] |
5845 | Niceratus learnt the whole of Homer by heart, as a guide to goodness [Xenophon] |
4800 | Natural laws result from eliminative induction, where enumerative induction gives generalisations [Cohen,LJ, by Psillos] |